Modeling Event-Based Systems in Ptolemy II
نویسندگان
چکیده
Networked sensors are becoming an increasingly important field of research as power and size requirements grow smaller and it becomes easier to embed thousands or millions of these devices in our environment. However, there is currently very little programming support for these and other event-based systems. In this paper, we focus on TinyOS, an event-based operating system for Smart Dust networked sensors. We show how to model and simulate TinyOS at the scheduler level in Ptolemy II.
منابع مشابه
Towards a Unified Behavioral Language – A Simulation Framework Based Approach
Neither UML 2.0 nor the upcoming SysML 1.0 currently provides sufficient means for applications in the context of heterogeneous electronic systems description and simulation. In this article, we demonstrate how general concepts of the simulation framework Ptolemy II seamlessly complement SysML to serve as a universal description language covering discrete event as well as continuous behaviors.
متن کاملComponent-Based Hierarchical Modeling of Systems with Continuous and Discrete Dynamics
This paper presents a component-based modeling technique for systems with continuous and discrete dynamics. It uses hierarchical composition to hide the implementation details of one component from other components, and keeps the components at the same level of hierarchy interacting under a well-defined model of computation. Continuous time, discrete event, and finite state machine models are c...
متن کاملVerifying Ptolemy II Discrete-Event Models Using Real-Time Maude
This paper shows how Ptolemy II discrete-event (DE) models can be formally analyzed using Real-Time Maude. We formalize in RealTime Maude the semantics of a subset of hierarchical Ptolemy II DE models, and explain how the code generation infrastructure of Ptolemy II has been used to automatically synthesize a Real-Time Maude verification model from a Ptolemy II design model. This enables a mode...
متن کاملCo-simulation of Event-B and Ptolemy II Models via FMI
In the framework of model-based design formal modelling, verification and simulation of safety-critical systems are supported by several methods and tools. Interfacing these tools often becomes challenging for heterogeneous systems. The FMI standard enables integration of different simulation tools through artefacts called Functional Mockup Units (FMU) [1]. The FMI standard is mainly based on t...
متن کاملJoint Modeling and Design of Wireless Networks and Sensor Node Software
We present Viptos (Visual Ptolemy and TinyOS), a joint modeling and design environment for wireless networks and sensor node software. Viptos is built on Ptolemy II, a graphical modeling and simulation environment for embedded systems, and TOSSIM, an interrupt-level discrete event simulator for homogeneous TinyOS networks. Viptos includes the full capabilities of VisualSense, a Ptolemy II envir...
متن کامل